Author Meet Critics Session

Theme: Author Meets CritiCs

D Pereboom’s Living Without Free Will (2001) is an outstanding book that rightly changed the debate over an ancient problem. I am certain that Free Will Skepticism, Agency, and Meaning in Life will join the first book as a must-read for anyone in the world interested in these foundational issues. The main pillars of the account remain, including incompatibilism between free will and determinism...

Announcing the "Meet the First Author" Page.

In my editorial manifesto published in early 2010, I indicated that one of my goals was to make Circulation Research less impersonal by publishing content that offers insights into the human dimension of both research and researchers. To this end, we have introduced a panoply of columns: first, Profiles in Cardiovascular Science, followed by Leaders in Cardiovascular Science, and then Promising...

Multiparty Session Types Meet Communicating Automata

Communicating finite state machines (CFSMs) represent processes which communicate by asynchronous exchanges of messages via FIFO channels. Their major impact has been in characterising essential properties of communications such as freedom from deadlock and communication error, and buffer boundedness. CFSMs are known to be computationally hard: most of these properties are undecidable even in r...

Author Index

Rorty and His Critics